<?php
#计算从引用该文件，到执行exetime()函数的时间，可以用来计算页面执行时间，在头部引用。
	$time_start = microtime_float();
	function microtime_float()
	{
		list($usec, $sec) = explode(" ", microtime());
		return ((float)$usec + (float)$sec);
	}
	function exetime()//页面执行时间
	{
		global $time_start; 
		$time_end = microtime_float();
		$time=$time_end - $time_start;
		echo '页面执行时间:'.$time.'秒';
	}
?>